| Run with best incumbent | examples/spear_qcp_small/example_output/run_3 | Cutoff | 5 |
| # Train instances | 10 | Walltime budget | 50 |
| # Test instances | 10 | Runcount budget | inf |
| # Parameters | 26 | CPU budget | inf |
| Deterministic | False |
| Default | Incumbent | |
|---|---|---|
| -------------- Changed parameters: -------------- | ----- | ----- |
| sp-clause-activity-inc | 1 | 1.24374 |
| sp-clause-decay | 1.4 | 1.06506 |
| sp-first-restart | 100 | 309 |
| sp-learned-clause-sort-heur | 0 | 14 |
| sp-learned-clauses-inc | 1.3 | 1.40704 |
| sp-learned-size-factor | 0.4 | 1.19767 |
| sp-orig-clause-sort-heur | 0 | 10 |
| sp-phase-dec-heur | 5 | 3 |
| sp-rand-var-dec-freq | 0.001 | 0.05 |
| sp-resolution | 1 | 0 |
| sp-restart-inc | 1.5 | 1.5815 |
| sp-update-dec-queue | 1 | 0 |
| sp-use-pure-literal-rule | 1 | 0 |
| sp-var-activity-inc | 1 | 0.50737 |
| sp-var-dec-heur | 0 | 8 |
| sp-variable-decay | 1.4 | 1.6578 |
| sp-max-res-lit-inc | 1 | inactive |
| sp-max-res-runs | 4 | inactive |
| sp-rand-var-dec-scaling | 1 | 0.62238 |
| sp-res-cutoff-cls | 8 | inactive |
| sp-res-cutoff-lits | 400 | inactive |
| sp-res-order-heur | 0 | inactive |
| sp-rand-phase-scaling | 1 | 0.501992 |
| -------------- Unchanged parameters: -------------- | ----- | ----- |
| sp-clause-del-heur | 2 | 2 |
| sp-rand-phase-dec-freq | 0.001 | 0.001 |
| Default | Incumbent | |||
|---|---|---|---|---|
| Train | Test | Train | Test | |
| PAR10 | 0.026 | 0.018 | 0.017 | 0.013 |
| PAR1 | 0.026 | 0.018 | 0.017 | 0.013 |
| Timeouts | 0/10 | 0/10 | 0/10 | 0/10 |
| -------------------- Single importance: -------------------- | -------------------- |
|---|---|
| sp-var-dec-heur | 0.507401 |
| sp-learned-clause-sort-heur | 0.087965 |
| sp-orig-clause-sort-heur | 0.0584569 |
| -------------------- Pairwise importance: -------------------- | -------------------- |
| sp-var-dec-heur & sp-learned-clause-sort-heur | 0.0834786 |
| sp-var-dec-heur & sp-orig-clause-sort-heur | 0.0700035 |